TETRIS { A simulation tool for TETRA systems
نویسنده
چکیده
This paper presents the simulation tool TETRIS, which provides a complete simulation environment for both protocol stacks, Voice + Data and Packet Data Optimised, of the TransEuropean Trunked RAdio (TETRA) system.
منابع مشابه
Cooperation of Smart Objects and Urban Operators for Smart City Applications
This paper illustrates main research activities and results of the project “TETRis – TETRA Innovative Open Source Services” concerned with enabling innovative services for Smart City/Smart Territory by means of technological tools and intelligent platforms for collecting, representing, managing and exploiting data and information gathered from sensors and devices deployed in the territory. Tech...
متن کاملTetris-: Exploring Human Performance via Cross Entropy Reinforcement Learning Models
What can a machine learning simulation tell us about human performance in a complex, real-time task such as TetrisTM? Although Tetris is often used as a research tool (Mayer, 2014), the strategies and methods used by Tetris players have seldom been the explicit focus of study. In Study 1, we use cross-entropy reinforcement learning (CERL) (Szita & Lorincz, 2006; Thiery & Scherrer, 2009) to expl...
متن کاملSmart Applications for Smart City: a Contribution to Innovation
Main research activities and results of the project “TETRis – TETRA Innovative Open Source Services” are described that are aimed at enabling innovative services for Smart City/Smart Territory by means of technological tools and intelligent platforms for collecting, representing, managing and exploiting data and information gathered from sensors and devices deployed i...
متن کاملProjected Equation and Aggregation - based Approximate Dynamic Programming Methods for Tetris
In this thesis, we survey approximate dynamic programming (ADP) methods and test the methods with the game of Tetris. We focus on ADP methods where the costto-go function J is approximated with 5r, where 4 is some matrix and r is a vector with relatively low dimension. There are two major categories of methods: projected equation methods and aggregation methods. In projected equation methods, t...
متن کاملJVer: A Java Verifier
We describe JVer, a tool for verifying Java bytecode programs annotated with pre and post conditions in the style of Hoare and Dijkstra. JVer is similar to ESC/Java [1], except that: (1) it produces verification conditions for Java bytecode, not Java source; (2) it is sound, because it makes conservative assumptions about aliasing and heap modification; (3) it produces verification conditions d...
متن کامل